java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files egl.prism --model-input-type prism --property-input-files egl.props --property-input-names messagesB --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const N=10,L=2
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property messagesB
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2578 2578
build-model-states-explored 5707 3129
build-model-states-explored 9069 3362
build-model-states-explored 12027 2958
build-model-states-explored 15059 3032
build-model-states-explored 18356 3297
build-model-states-explored 21886 3530
build-model-states-explored 25379 3493
build-model-states-explored 28897 3518
build-model-states-explored 32423 3526
build-model-states-explored 35479 3056
build-model-states-explored 38524 3045
build-model-states-explored 41568 3044
build-model-states-explored 44615 3047
build-model-states-explored 47665 3050
build-model-states-explored 50673 3008
build-model-states-explored 53714 3041
build-model-states-explored 56728 3014
build-model-states-explored 59771 3043
build-model-states-explored 62823 3052
build-model-states-explored 65852 3029
build-model-states-explored 69379 3527
build-model-states-explored 72915 3536
build-model-states-explored 76437 3522
build-model-states-explored 79963 3526
build-model-states-explored 83492 3529
build-model-states-explored 87026 3534
build-model-states-explored 90533 3507
build-model-states-explored 94060 3527
build-model-states-explored 97585 3525
build-model-states-explored 101032 3447
build-model-states-explored 104557 3525
build-model-states-explored 108089 3532
build-model-states-explored 111624 3535
build-model-states-explored 115152 3528
build-model-states-explored 118656 3504
build-model-states-explored 122184 3528
build-model-states-explored 125716 3532
build-model-states-explored 129249 3533
build-model-states-explored 132430 3181
build-model-states-explored 135472 3042
build-model-states-explored 138521 3049
build-model-states-explored 141570 3049
build-model-states-explored 144617 3047
build-model-states-explored 147664 3046
build-model-states-explored 150708 3045
build-model-states-explored 153755 3047
build-model-states-explored 156786 3031
build-model-states-explored 159832 3046
build-model-states-explored 162881 3049
build-model-states-explored 165929 3048
build-model-states-explored 168974 3045
build-model-states-explored 172022 3048
build-model-states-explored 175070 3048
build-model-states-explored 178116 3046
build-model-states-explored 181165 3049
build-model-states-explored 184213 3048
build-model-states-explored 187257 3044
build-model-states-explored 190306 3049
build-model-states-explored 193354 3048
build-model-states-explored 196401 3047
build-model-states-explored 199293 2892
build-model-states-explored 202334 3041
build-model-states-explored 205379 3045
build-model-states-explored 208426 3047
build-model-states-explored 211474 3048
build-model-states-explored 214520 3046
build-model-states-explored 217569 3049
build-model-states-explored 220618 3049
build-model-states-explored 223669 3051
build-model-states-explored 226730 3061
build-model-states-explored 229777 3047
build-model-states-explored 232821 3044
build-model-states-explored 235871 3050
build-model-states-explored 238921 3050
build-model-states-explored 241965 3044
build-model-states-explored 245012 3047
build-model-states-explored 248061 3049
build-model-states-explored 251110 3049
build-model-states-explored 254155 3045
build-model-states-explored 257203 3048
build-model-states-explored 260254 3051
build-model-states-explored 263194 2940
build-model-states-explored 266705 3511
build-model-states-explored 270219 3514
build-model-states-explored 273736 3517
build-model-states-explored 277262 3526
build-model-states-explored 280781 3519
build-model-states-explored 284307 3526
build-model-states-explored 287824 3517
build-model-states-explored 291337 3513
build-model-states-explored 294841 3504
build-model-states-explored 298358 3517
build-model-states-explored 301870 3512
build-model-states-explored 305386 3516
build-model-states-explored 308895 3509
build-model-states-explored 312404 3509
build-model-states-explored 315920 3516
build-model-states-explored 319299 3379
build-model-states-explored 322790 3491
build-model-states-explored 326298 3508
build-model-states-explored 329812 3514
build-model-states-explored 333333 3521
build-model-states-explored 336846 3513
build-model-states-explored 340360 3514
build-model-states-explored 343876 3516
build-model-states-explored 347390 3514
build-model-states-explored 350896 3506
build-model-states-explored 354373 3477
build-model-states-explored 357880 3507
build-model-states-explored 361389 3509
build-model-states-explored 364892 3503
build-model-states-explored 368364 3472
build-model-states-explored 371872 3508
build-model-states-explored 375377 3505
build-model-states-explored 378886 3509
build-model-states-explored 382396 3510
build-model-states-explored 385907 3511
build-model-states-explored 389422 3515
build-model-states-explored 392923 3501
build-model-states-explored 396058 3135
build-model-states-explored 399581 3523
build-model-states-explored 403100 3519
build-model-states-explored 406606 3506
build-model-states-explored 410098 3492
build-model-states-explored 413614 3516
build-model-states-explored 417130 3516
build-model-states-explored 420644 3514
build-model-states-explored 424166 3522
build-model-states-explored 427678 3512
build-model-states-explored 431191 3513
build-model-states-explored 434715 3524
build-model-states-explored 438227 3512
build-model-states-explored 441741 3514
build-model-states-explored 445270 3529
build-model-states-explored 448781 3511
build-model-states-explored 452294 3513
build-model-states-explored 455749 3455
build-model-states-explored 459257 3507
build-model-states-explored 462766 3510
build-model-states-explored 466278 3512
build-model-states-explored 469794 3516
build-model-states-explored 473308 3514
build-model-states-explored 476819 3511
build-model-states-explored 480341 3522
build-model-states-explored 483848 3507
build-model-states-explored 487368 3520
build-model-states-explored 490875 3507
build-model-states-explored 494384 3509
build-model-states-explored 497899 3515
build-model-states-explored 501406 3507
build-model-states-explored 504922 3516
build-model-states-explored 508404 3482
build-model-states-explored 511911 3507
build-model-states-explored 515434 3523
build-model-states-explored 518952 3518
build-model-states-explored 522465 3513
build-model-states-explored 525291 2826
build-model-states-explored 528342 3051
build-model-states-explored 531390 3048
build-model-states-explored 534439 3049
build-model-states-explored 537481 3042
build-model-states-explored 540530 3049
build-model-states-explored 543577 3047
build-model-states-explored 546622 3045
build-model-states-explored 549672 3050
build-model-states-explored 552725 3053
build-model-states-explored 555721 2996
build-model-states-explored 558775 3054
build-model-states-explored 561824 3049
build-model-states-explored 564870 3046
build-model-states-explored 567918 3048
build-model-states-explored 570966 3048
build-model-states-explored 574010 3044
build-model-states-explored 577062 3052
build-model-states-explored 580106 3044
build-model-states-explored 583153 3047
build-model-states-explored 586202 3049
build-model-states-explored 589249 3047
build-model-states-explored 592292 3043
build-model-states-explored 595341 3049
build-model-states-explored 598389 3048
build-model-states-explored 601434 3045
build-model-states-explored 604483 3049
build-model-states-explored 607529 3046
build-model-states-explored 610544 3015
build-model-states-explored 613589 3045
build-model-states-explored 616636 3047
build-model-states-explored 619681 3045
build-model-states-explored 622730 3049
build-model-states-explored 625780 3050
build-model-states-explored 628826 3046
build-model-states-explored 631888 3062
build-model-states-explored 634935 3047
build-model-states-explored 637986 3051
build-model-states-explored 641049 3063
build-model-states-explored 644095 3046
build-model-states-explored 647083 2988
build-model-states-explored 650019 2936
build-model-states-explored 653073 3054
build-model-states-explored 656121 3048
build-model-states-explored 659166 3045
build-model-states-explored 662200 3034
build-model-states-explored 665246 3046
build-model-states-explored 668288 3042
build-model-states-explored 671337 3049
build-model-states-explored 674386 3049
build-model-states-explored 677431 3045
build-model-states-explored 680479 3048
build-model-states-explored 683530 3051
build-model-states-explored 686572 3042
build-model-states-explored 689621 3049
build-model-states-explored 692667 3046
build-model-states-explored 695717 3050
build-model-states-explored 698764 3047
build-model-states-explored 701811 3047
build-model-states-explored 704854 3043
build-model-states-explored 707903 3049
build-model-states-explored 710953 3050
build-model-states-explored 713996 3043
build-model-states-explored 717046 3050
build-model-states-explored 720097 3051
build-model-states-explored 723137 3040
build-model-states-explored 726187 3050
build-model-states-explored 729235 3048
build-model-states-explored 732280 3045
build-model-states-explored 735331 3051
build-model-states-explored 738361 3030
build-model-states-explored 741414 3053
build-model-states-explored 744467 3053
build-model-states-explored 747518 3051
build-model-states-explored 750563 3045
build-model-states-explored 753612 3049
build-model-states-explored 756660 3048
build-model-states-explored 759703 3043
build-model-states-explored 762751 3048
build-model-states-explored 765797 3046
build-model-states-explored 768843 3046
build-model-states-explored 771893 3050
build-model-states-explored 774942 3049
build-model-states-explored 777993 3051
build-model-states-explored 781034 3041
build-model-states-explored 784083 3049
build-model-states-explored 786460 2377
build-model-states-explored 789501 3041
build-model-states-explored 792549 3048
build-model-states-explored 795598 3049
build-model-states-explored 798644 3046
build-model-states-explored 801688 3044
build-model-states-explored 804737 3049
build-model-states-explored 807785 3048
build-model-states-explored 810832 3047
build-model-states-explored 813880 3048
build-model-states-explored 816924 3044
build-model-states-explored 819972 3048
build-model-states-explored 823020 3048
build-model-states-explored 826067 3047
build-model-states-explored 829040 2973
build-model-states-explored 832036 2996
build-model-states-explored 835081 3045
build-model-states-explored 838127 3046
build-model-states-explored 841176 3049
build-model-states-explored 844223 3047
build-model-states-explored 847271 3048
build-model-states-explored 850318 3047
build-model-states-explored 853368 3050
build-model-states-explored 856408 3040
build-model-states-explored 859457 3049
build-model-states-explored 862506 3049
build-model-states-explored 865551 3045
build-model-states-explored 868601 3050
build-model-states-explored 871646 3045
build-model-states-explored 874693 3047
build-model-states-explored 877739 3046
build-model-states-explored 880784 3045
build-model-states-explored 883833 3049
build-model-states-explored 886882 3049
build-model-states-explored 889897 3015
build-model-states-explored 892938 3041
build-model-states-explored 895981 3043
build-model-states-explored 899034 3053
build-model-states-explored 902080 3046
build-model-states-explored 905128 3048
build-model-states-explored 908177 3049
build-model-states-explored 910663 2486
build-model-states-explored 914142 3479
build-model-states-explored 917723 3581
build-model-states-explored 921172 3449
build-model-states-explored 924696 3524
build-model-states-explored 928257 3561
build-model-states-explored 931819 3562
build-model-states-explored 935373 3554
build-model-states-explored 938935 3562
build-model-states-explored 942493 3558
build-model-states-explored 946056 3563
build-model-states-explored 949627 3571
build-model-states-explored 953196 3569
build-model-states-explored 956774 3578
build-model-states-explored 960342 3568
build-model-states-explored 963904 3562
build-model-states-explored 967476 3572
build-model-states-explored 971021 3545
build-model-states-explored 974591 3570
build-model-states-explored 978149 3558
build-model-states-explored 981728 3579
build-model-states-explored 985288 3560
build-model-states-explored 988858 3570
build-model-states-explored 992423 3565
build-model-states-explored 995990 3567
build-model-states-explored 999559 3569
build-model-states-explored 1003135 3576
build-model-states-explored 1006696 3561
build-model-states-explored 1010257 3561
build-model-states-explored 1013825 3568
build-model-states-explored 1017398 3573
build-model-states-explored 1020968 3570
build-model-states-explored 1024539 3571
build-model-states-explored 1028061 3522
build-model-states-explored 1031642 3581
build-model-states-explored 1035222 3580
build-model-states-explored 1038796 3574
build-model-states-explored 1042367 3571
build-model-states-explored 1045917 3550
build-model-states-explored 1048576 2659
build-model-states-explored 1051434 2858
build-model-states-explored 1054457 3023
build-model-states-explored 1057554 3097
build-model-states-explored 1060653 3099
build-model-states-explored 1063736 3083
build-model-states-explored 1066827 3091
build-model-states-explored 1069916 3089
build-model-states-explored 1073018 3102
build-model-states-explored 1076106 3088
build-model-states-explored 1079189 3083
build-model-states-explored 1082284 3095
build-model-states-explored 1085384 3100
build-model-states-explored 1088479 3095
build-model-states-explored 1091572 3093
build-model-states-explored 1094664 3092
build-model-states-explored 1097752 3088
build-model-states-explored 1100839 3087
build-model-states-explored 1103928 3089
build-model-states-explored 1107008 3080
build-model-states-explored 1110097 3089
build-model-states-explored 1113187 3090
build-model-states-explored 1116279 3092
build-model-states-explored 1119373 3094
build-model-states-explored 1122477 3104
build-model-states-explored 1125563 3086
build-model-states-explored 1128658 3095
build-model-states-explored 1131749 3091
build-model-states-explored 1134840 3091
build-model-states-explored 1137933 3093
build-model-states-explored 1141033 3100
build-model-states-explored 1144132 3099
build-model-states-explored 1147230 3098
build-model-states-explored 1150316 3086
build-model-states-explored 1153408 3092
build-model-states-explored 1156493 3085
build-model-states-explored 1159587 3094
build-model-states-explored 1162683 3096
build-model-states-explored 1165774 3091
build-model-states-explored 1168864 3090
build-model-states-explored 1171958 3094
build-model-states-explored 1175042 3084
build-model-states-explored 1178128 3086
build-model-states-explored 1181209 3081
build-model-states-explored 1184305 3096
build-model-states-explored 1187393 3088
build-model-states-explored 1190489 3096
build-model-states-explored 1193575 3086
build-model-states-explored 1196664 3089
build-model-states-explored 1199758 3094
build-model-states-explored 1202842 3084
build-model-states-explored 1205930 3088
build-model-states-explored 1209022 3092
build-model-states-explored 1212109 3087
build-model-states-explored 1215209 3100
build-model-states-explored 1218311 3102
build-model-states-explored 1221407 3096
build-model-states-explored 1224497 3090
build-model-states-explored 1227592 3095
build-model-states-explored 1230684 3092
build-model-states-explored 1233784 3100
build-model-states-explored 1236873 3089
build-model-states-explored 1239968 3095
build-model-states-explored 1243059 3091
build-model-states-explored 1246153 3094
build-model-states-explored 1249244 3091
build-model-states-explored 1252337 3093
build-model-states-explored 1255442 3105
build-model-states-explored 1258529 3087
build-model-states-explored 1261620 3091
build-model-states-explored 1264717 3097
build-model-states-explored 1267808 3091
build-model-states-explored 1270902 3094
build-model-states-explored 1273994 3092
build-model-states-explored 1277095 3101
build-model-states-explored 1280191 3096
build-model-states-explored 1283284 3093
build-model-states-explored 1286383 3099
build-model-states-explored 1289479 3096
build-model-states-explored 1292524 3045
build-model-states-explored 1295617 3093
build-model-states-explored 1298708 3091
build-model-states-explored 1301807 3099
build-model-states-explored 1304901 3094
build-model-states-explored 1307995 3094
build-model-states-explored 1311090 3095
build-model-states-explored 1314185 3095
build-model-states-explored 1317282 3097
build-model-states-explored 1320390 3108
build-model-states-explored 1323483 3093
build-model-states-explored 1326575 3092
build-model-states-explored 1329672 3097
build-model-states-explored 1332753 3081
build-model-states-explored 1335842 3089
build-model-states-explored 1338925 3083
build-model-states-explored 1342012 3087
build-model-states-explored 1345102 3090
build-model-states-explored 1348197 3095
build-model-states-explored 1351291 3094
build-model-states-explored 1354376 3085
build-model-states-explored 1357467 3091
build-model-states-explored 1360559 3092
build-model-states-explored 1363643 3084
build-model-states-explored 1366725 3082
build-model-states-explored 1369816 3091
build-model-states-explored 1372905 3089
build-model-states-explored 1376002 3097
build-model-states-explored 1379096 3094
build-model-states-explored 1382194 3098
build-model-states-explored 1385295 3101
build-model-states-explored 1388379 3084
build-model-states-explored 1391470 3091
build-model-states-explored 1394570 3100
build-model-states-explored 1397664 3094
build-model-states-explored 1400754 3090
build-model-states-explored 1403848 3094
build-model-states-explored 1406937 3089
build-model-states-explored 1410026 3089
build-model-states-explored 1413111 3085
build-model-states-explored 1416194 3083
build-model-states-explored 1419284 3090
build-model-states-explored 1422385 3101
build-model-states-explored 1425480 3095
build-model-states-explored 1428573 3093
build-model-states-explored 1431654 3081
build-model-states-explored 1434752 3098
build-model-states-explored 1437840 3088
build-model-states-explored 1440930 3090
build-model-states-explored 1444026 3096
build-model-states-explored 1447123 3097
build-model-states-explored 1450225 3102
build-model-states-explored 1453315 3090
build-model-states-explored 1456400 3085
build-model-states-explored 1459486 3086
build-model-states-explored 1462579 3093
build-model-states-explored 1465676 3097
build-model-states-explored 1468771 3095
build-model-states-explored 1471861 3090
build-model-states-explored 1474955 3094
build-model-states-explored 1478054 3099
build-model-states-explored 1481149 3095
build-model-states-explored 1484244 3095
build-model-states-explored 1487342 3098
build-model-states-explored 1490430 3088
build-model-states-explored 1493518 3088
build-model-states-explored 1496603 3085
build-model-states-explored 1499697 3094
build-model-states-explored 1502793 3096
build-model-states-explored 1505891 3098
build-model-states-explored 1508975 3084
build-model-states-explored 1512067 3092
build-model-states-explored 1515168 3101
build-model-states-explored 1518258 3090
build-model-states-explored 1521353 3095
build-model-states-explored 1524445 3092
build-model-states-explored 1527538 3093
build-model-states-explored 1530633 3095
build-model-states-explored 1533724 3091
build-model-states-explored 1536813 3089
build-model-states-explored 1539903 3090
build-model-states-explored 1543000 3097
build-model-states-explored 1546095 3095
build-model-states-explored 1549187 3092
build-model-states-explored 1552277 3090
build-model-states-explored 1555375 3098
build-model-states-explored 1558469 3094
build-model-states-explored 1561557 3088
build-model-states-explored 1564647 3090
build-model-states-explored 1567744 3097
build-model-states-explored 1570835 3091
build-model-states-explored 1573929 3094
build-model-states-explored 1577026 3097
build-model-states-explored 1580120 3094
build-model-states-explored 1583223 3103
build-model-states-explored 1586308 3085
build-model-states-explored 1589391 3083
build-model-states-explored 1592490 3099
build-model-states-explored 1595580 3090
build-model-states-explored 1598677 3097
build-model-states-explored 1601776 3099
build-model-states-explored 1604875 3099
build-model-states-explored 1607971 3096
build-model-states-explored 1611072 3101
build-model-states-explored 1614167 3095
build-model-states-explored 1617256 3089
build-model-states-explored 1620346 3090
build-model-states-explored 1623434 3088
build-model-states-explored 1626526 3092
build-model-states-explored 1629628 3102
build-model-states-explored 1632733 3105
build-model-states-explored 1635831 3098
build-model-states-explored 1638928 3097
build-model-states-explored 1642020 3092
build-model-states-explored 1645109 3089
build-model-states-explored 1648214 3105
build-model-states-explored 1651304 3090
build-model-states-explored 1654398 3094
build-model-states-explored 1657494 3096
build-model-states-explored 1660580 3086
build-model-states-explored 1663670 3090
build-model-states-explored 1666758 3088
build-model-states-explored 1669850 3092
build-model-states-explored 1672931 3081
build-model-states-explored 1676020 3089
build-model-states-explored 1679087 3067
build-model-states-explored 1682188 3101
build-model-states-explored 1685273 3085
build-model-states-explored 1688333 3060
build-model-states-explored 1691410 3077
build-model-states-explored 1694510 3100
build-model-states-explored 1697606 3096
build-model-states-explored 1700704 3098
build-model-states-explored 1703800 3096
build-model-states-explored 1706891 3091
build-model-states-explored 1709993 3102
build-model-states-explored 1713086 3093
build-model-states-explored 1716173 3087
build-model-states-explored 1719255 3082
build-model-states-explored 1722350 3095
build-model-states-explored 1725442 3092
build-model-states-explored 1728537 3095
build-model-states-explored 1731623 3086
build-model-states-explored 1734703 3080
build-model-states-explored 1737798 3095
build-model-states-explored 1740895 3097
build-model-states-explored 1743993 3098
build-model-states-explored 1747089 3096
build-model-states-explored 1750179 3090
build-model-states-explored 1753284 3105
build-model-states-explored 1756370 3086
build-model-states-explored 1759465 3095
build-model-states-explored 1762559 3094
build-model-states-explored 1765648 3089
build-model-states-explored 1768747 3099
build-model-states-explored 1771832 3085
build-model-states-explored 1774930 3098
build-model-states-explored 1778023 3093
build-model-states-explored 1781117 3094
build-model-states-explored 1784198 3081
build-model-states-explored 1787278 3080
build-model-states-explored 1790367 3089
build-model-states-explored 1793465 3098
build-model-states-explored 1796561 3096
build-model-states-explored 1799658 3097
build-model-states-explored 1802741 3083
build-model-states-explored 1805836 3095
build-model-states-explored 1808936 3100
build-model-states-explored 1812029 3093
build-model-states-explored 1815128 3099
build-model-states-explored 1818227 3099
build-model-states-explored 1821323 3096
build-model-states-explored 1824417 3094
build-model-states-explored 1827519 3102
build-model-states-explored 1830609 3090
build-model-states-explored 1833701 3092
build-model-states-explored 1836791 3090
build-model-states-explored 1839880 3089
build-model-states-explored 1842974 3094
build-model-states-explored 1846070 3096
build-model-states-explored 1849158 3088
build-model-states-explored 1852254 3096
build-model-states-explored 1855341 3087
build-model-states-explored 1858434 3093
build-model-states-explored 1861527 3093
build-model-states-explored 1864616 3089
build-model-states-explored 1867714 3098
build-model-states-explored 1870802 3088
build-model-states-explored 1873895 3093
build-model-states-explored 1876991 3096
build-model-states-explored 1880076 3085
build-model-states-explored 1883162 3086
build-model-states-explored 1886259 3097
build-model-states-explored 1889348 3089
build-model-states-explored 1892442 3094
build-model-states-explored 1895539 3097
build-model-states-explored 1898622 3083
build-model-states-explored 1901712 3090
build-model-states-explored 1904797 3085
build-model-states-explored 1907896 3099
build-model-states-explored 1910982 3086
build-model-states-explored 1914074 3092
build-model-states-explored 1917169 3095
build-model-states-explored 1920263 3094
build-model-states-explored 1923349 3086
build-model-states-explored 1926435 3086
build-model-states-explored 1929525 3090
build-model-states-explored 1932614 3089
build-model-states-explored 1935703 3089
build-model-states-explored 1938786 3083
build-model-states-explored 1941877 3091
build-model-states-explored 1944972 3095
build-model-states-explored 1948056 3084
build-model-states-explored 1951146 3090
build-model-states-explored 1954236 3090
build-model-states-explored 1957337 3101
build-model-states-explored 1960421 3084
build-model-states-explored 1963517 3096
build-model-states-explored 1966610 3093
build-model-states-explored 1969700 3090
build-model-states-explored 1972792 3092
build-model-states-explored 1975889 3097
build-model-states-explored 1978971 3082
build-model-states-explored 1982056 3085
build-model-states-explored 1985149 3093
build-model-states-explored 1988235 3086
build-model-states-explored 1991327 3092
build-model-states-explored 1994416 3089
build-model-states-explored 1997501 3085
build-model-states-explored 2000594 3093
build-model-states-explored 2003696 3102
build-model-states-explored 2006793 3097
build-model-states-explored 2009884 3091
build-model-states-explored 2012985 3101
build-model-states-explored 2016068 3083
build-model-states-explored 2019156 3088
build-model-states-explored 2022242 3086
build-model-states-explored 2025335 3093
build-model-states-explored 2028426 3091
build-model-states-explored 2031517 3091
build-model-states-explored 2034601 3084
build-model-states-explored 2037697 3096
build-model-states-explored 2040788 3091
build-model-states-explored 2043867 3079
build-model-states-explored 2046951 3084
build-model-states-explored 2050049 3098
build-model-states-explored 2053145 3096
build-model-states-explored 2056243 3098
build-model-states-explored 2059327 3084
build-model-states-explored 2062419 3092
build-model-states-explored 2065505 3086
build-model-states-explored 2068583 3078
build-model-states-explored 2071669 3086
build-model-states-explored 2074759 3090
build-model-states-explored 2077853 3094
build-model-states-explored 2080951 3098
build-model-states-explored 2084038 3087
build-model-states-explored 2087138 3100
build-model-states-explored 2090222 3084
build-model-states-explored 2093315 3093
build-model-states-explored 2096407 3092
build-model-states-explored 2097152 745
build-model-states-explored 2100057 2905
build-model-states-explored 2103153 3096
build-model-states-explored 2106260 3107
build-model-states-explored 2109367 3107
build-model-states-explored 2112468 3101
build-model-states-explored 2115557 3089
build-model-states-explored 2118661 3104
build-model-states-explored 2121768 3107
build-model-states-explored 2124866 3098
build-model-states-explored 2127970 3104
build-model-states-explored 2131074 3104
build-model-states-explored 2134066 2992
build-model-states-explored 2137134 3068
build-model-states-explored 2140136 3002
build-model-states-explored 2143154 3018
build-model-states-explored 2146259 3105
build-model-states-explored 2149361 3102
build-model-states-explored 2152459 3098
build-model-states-explored 2155562 3103
build-model-states-explored 2158662 3100
build-model-states-explored 2161763 3101
build-model-states-explored 2164869 3106
build-model-states-explored 2167975 3106
build-model-states-explored 2171074 3099
build-model-states-explored 2174167 3093
build-model-states-explored 2177273 3106
build-model-states-explored 2180375 3102
build-model-states-explored 2183463 3088
build-model-states-explored 2186566 3103
build-model-states-explored 2189668 3102
build-model-states-explored 2192780 3112
build-model-states-explored 2195893 3113
build-model-states-explored 2198991 3098
build-model-states-explored 2202089 3098
build-model-states-explored 2205195 3106
build-model-states-explored 2208303 3108
build-model-states-explored 2211407 3104
build-model-states-explored 2214514 3107
build-model-states-explored 2217617 3103
build-model-states-explored 2220718 3101
build-model-states-explored 2223825 3107
build-model-states-explored 2226922 3097
build-model-states-explored 2230019 3097
build-model-states-explored 2233043 3024
build-model-states-explored 2236144 3101
build-model-states-explored 2239256 3112
build-model-states-explored 2242358 3102
build-model-states-explored 2245463 3105
build-model-states-explored 2248567 3104
build-model-states-explored 2251673 3106
build-model-states-explored 2254773 3100
build-model-states-explored 2257871 3098
build-model-states-explored 2260963 3092
build-model-states-explored 2264059 3096
build-model-states-explored 2267154 3095
build-model-states-explored 2270256 3102
build-model-states-explored 2273355 3099
build-model-states-explored 2276452 3097
build-model-states-explored 2279557 3105
build-model-states-explored 2282654 3097
build-model-states-explored 2285764 3110
build-model-states-explored 2288866 3102
build-model-states-explored 2291980 3114
build-model-states-explored 2295079 3099
build-model-states-explored 2298179 3100
build-model-states-explored 2301278 3099
build-model-states-explored 2304378 3100
build-model-states-explored 2307476 3098
build-model-states-explored 2310582 3106
build-model-states-explored 2313689 3107
build-model-states-explored 2316794 3105
build-model-states-explored 2319899 3105
build-model-states-explored 2323003 3104
build-model-states-explored 2326051 3048
build-model-states-explored 2329153 3102
build-model-states-explored 2332269 3116
build-model-states-explored 2335381 3112
build-model-states-explored 2338475 3094
build-model-states-explored 2341586 3111
build-model-states-explored 2344697 3111
build-model-states-explored 2347793 3096
build-model-states-explored 2350895 3102
build-model-states-explored 2354003 3108
build-model-states-explored 2357115 3112
build-model-states-explored 2360227 3112
build-model-states-explored 2363322 3095
build-model-states-explored 2366427 3105
build-model-states-explored 2369526 3099
build-model-states-explored 2372636 3110
build-model-states-explored 2375736 3100
build-model-states-explored 2378838 3102
build-model-states-explored 2381943 3105
build-model-states-explored 2385057 3114
build-model-states-explored 2388156 3099
build-model-states-explored 2391261 3105
build-model-states-explored 2394361 3100
build-model-states-explored 2397463 3102
build-model-states-explored 2400566 3103
build-model-states-explored 2403677 3111
build-model-states-explored 2406782 3105
build-model-states-explored 2409892 3110
build-model-states-explored 2412991 3099
build-model-states-explored 2416087 3096
build-model-states-explored 2419098 3011
build-model-states-explored 2422073 2975
build-model-states-explored 2425157 3084
build-model-states-explored 2428255 3098
build-model-states-explored 2431360 3105
build-model-states-explored 2434463 3103
build-model-states-explored 2437571 3108
build-model-states-explored 2440670 3099
build-model-states-explored 2443770 3100
build-model-states-explored 2446871 3101
build-model-states-explored 2449853 2982
build-model-states-explored 2452917 3064
build-model-states-explored 2456026 3109
build-model-states-explored 2459131 3105
build-model-states-explored 2462237 3106
build-model-states-explored 2465338 3101
build-model-states-explored 2468440 3102
build-model-states-explored 2471545 3105
build-model-states-explored 2474651 3106
build-model-states-explored 2477763 3112
build-model-states-explored 2480863 3100
build-model-states-explored 2483962 3099
build-model-states-explored 2487068 3106
build-model-states-explored 2490176 3108
build-model-states-explored 2493280 3104
build-model-states-explored 2496391 3111
build-model-states-explored 2499495 3104
build-model-states-explored 2502600 3105
build-model-states-explored 2505699 3099
build-model-states-explored 2508800 3101
build-model-states-explored 2511801 3001
build-model-states-explored 2514875 3074
build-model-states-explored 2517972 3097
build-model-states-explored 2521072 3100
build-model-states-explored 2524177 3105
build-model-states-explored 2527260 3083
build-model-states-explored 2530345 3085
build-model-states-explored 2533452 3107
build-model-states-explored 2536461 3009
build-model-states-explored 2539571 3110
build-model-states-explored 2542682 3111
build-model-states-explored 2545788 3106
build-model-states-explored 2548900 3112
build-model-states-explored 2552012 3112
build-model-states-explored 2555128 3116
build-model-states-explored 2558234 3106
build-model-states-explored 2561326 3092
build-model-states-explored 2564426 3100
build-model-states-explored 2567540 3114
build-model-states-explored 2570644 3104
build-model-states-explored 2573748 3104
build-model-states-explored 2576865 3117
build-model-states-explored 2579975 3110
build-model-states-explored 2583082 3107
build-model-states-explored 2586182 3100
build-model-states-explored 2589292 3110
build-model-states-explored 2592401 3109
build-model-states-explored 2595513 3112
build-model-states-explored 2598627 3114
build-model-states-explored 2601736 3109
build-model-states-explored 2604743 3007
build-model-states-explored 2607848 3105
build-model-states-explored 2610949 3101
build-model-states-explored 2614054 3105
build-model-states-explored 2617137 3083
build-model-states-explored 2620214 3077
build-model-states-explored 2623328 3114
build-model-states-explored 2626442 3114
build-model-states-explored 2629543 3101
build-model-states-explored 2632652 3109
build-model-states-explored 2635766 3114
build-model-states-explored 2638870 3104
build-model-states-explored 2641961 3091
build-model-states-explored 2645065 3104
build-model-states-explored 2648178 3113
build-model-states-explored 2651285 3107
build-model-states-explored 2654399 3114
build-model-states-explored 2657509 3110
build-model-states-explored 2660612 3103
build-model-states-explored 2663722 3110
build-model-states-explored 2666832 3110
build-model-states-explored 2669947 3115
build-model-states-explored 2673049 3102
build-model-states-explored 2676165 3116
build-model-states-explored 2679282 3117
build-model-states-explored 2682392 3110
build-model-states-explored 2685501 3109
build-model-states-explored 2688583 3082
build-model-states-explored 2691701 3118
build-model-states-explored 2694800 3099
build-model-states-explored 2697810 3010
build-model-states-explored 2700924 3114
build-model-states-explored 2704025 3101
build-model-states-explored 2707125 3100
build-model-states-explored 2710234 3109
build-model-states-explored 2713332 3098
build-model-states-explored 2716440 3108
build-model-states-explored 2719555 3115
build-model-states-explored 2722653 3098
build-model-states-explored 2725760 3107
build-model-states-explored 2728883 3123
build-model-states-explored 2731995 3112
build-model-states-explored 2735104 3109
build-model-states-explored 2738215 3111
build-model-states-explored 2741302 3087
build-model-states-explored 2744412 3110
build-model-states-explored 2747518 3106
build-model-states-explored 2750627 3109
build-model-states-explored 2753738 3111
build-model-states-explored 2756849 3111
build-model-states-explored 2759960 3111
build-model-states-explored 2763073 3113
build-model-states-explored 2766183 3110
build-model-states-explored 2769291 3108
build-model-states-explored 2772395 3104
build-model-states-explored 2775514 3119
build-model-states-explored 2778629 3115
build-model-states-explored 2781741 3112
build-model-states-explored 2784837 3096
build-model-states-explored 2787944 3107
build-model-states-explored 2790944 3000
build-model-states-explored 2793918 2974
build-model-states-explored 2797023 3105
build-model-states-explored 2800129 3106
build-model-states-explored 2803233 3104
build-model-states-explored 2806339 3106
build-model-states-explored 2809453 3114
build-model-states-explored 2812561 3108
build-model-states-explored 2815667 3106
build-model-states-explored 2818786 3119
build-model-states-explored 2821888 3102
build-model-states-explored 2825006 3118
build-model-states-explored 2828113 3107
build-model-states-explored 2831234 3121
build-model-states-explored 2834352 3118
build-model-states-explored 2837433 3081
build-model-states-explored 2840532 3099
build-model-states-explored 2843633 3101
build-model-states-explored 2846746 3113
build-model-states-explored 2849847 3101
build-model-states-explored 2852945 3098
build-model-states-explored 2856049 3104
build-model-states-explored 2859148 3099
build-model-states-explored 2862258 3110
build-model-states-explored 2865365 3107
build-model-states-explored 2868468 3103
build-model-states-explored 2871574 3106
build-model-states-explored 2874681 3107
build-model-states-explored 2877795 3114
build-model-states-explored 2880897 3102
build-model-states-explored 2883906 3009
build-model-states-explored 2887008 3102
build-model-states-explored 2890113 3105
build-model-states-explored 2893222 3109
build-model-states-explored 2896333 3111
build-model-states-explored 2899441 3108
build-model-states-explored 2902542 3101
build-model-states-explored 2905644 3102
build-model-states-explored 2908739 3095
build-model-states-explored 2911809 3070
build-model-states-explored 2914915 3106
build-model-states-explored 2918023 3108
build-model-states-explored 2921124 3101
build-model-states-explored 2924224 3100
build-model-states-explored 2927317 3093
build-model-states-explored 2930420 3103
build-model-states-explored 2933517 3097
build-model-states-explored 2936626 3109
build-model-states-explored 2939724 3098
build-model-states-explored 2942830 3106
build-model-states-explored 2945944 3114
build-model-states-explored 2949048 3104
build-model-states-explored 2952141 3093
build-model-states-explored 2955242 3101
build-model-states-explored 2958345 3103
build-model-states-explored 2961443 3098
build-model-states-explored 2964557 3114
build-model-states-explored 2967653 3096
build-model-states-explored 2970757 3104
build-model-states-explored 2973870 3113
build-model-states-explored 2976947 3077
build-model-states-explored 2980059 3112
build-model-states-explored 2983171 3112
build-model-states-explored 2986269 3098
build-model-states-explored 2989365 3096
build-model-states-explored 2992469 3104
build-model-states-explored 2995570 3101
build-model-states-explored 2998665 3095
build-model-states-explored 3001764 3099
build-model-states-explored 3004863 3099
build-model-states-explored 3007965 3102
build-model-states-explored 3011072 3107
build-model-states-explored 3014171 3099
build-model-states-explored 3017280 3109
build-model-states-explored 3020371 3091
build-model-states-explored 3023472 3101
build-model-states-explored 3026581 3109
build-model-states-explored 3029700 3119
build-model-states-explored 3032805 3105
build-model-states-explored 3035907 3102
build-model-states-explored 3039005 3098
build-model-states-explored 3042098 3093
build-model-states-explored 3045197 3099
build-model-states-explored 3048294 3097
build-model-states-explored 3051400 3106
build-model-states-explored 3054462 3062
build-model-states-explored 3057568 3106
build-model-states-explored 3060665 3097
build-model-states-explored 3063756 3091
build-model-states-explored 3066850 3094
build-model-states-explored 3069878 3028
build-model-states-explored 3072939 3061
build-model-states-explored 3076042 3103
build-model-states-explored 3079156 3114
build-model-states-explored 3082263 3107
build-model-states-explored 3085366 3103
build-model-states-explored 3088464 3098
build-model-states-explored 3091575 3111
build-model-states-explored 3094686 3111
build-model-states-explored 3097798 3112
build-model-states-explored 3100910 3112
build-model-states-explored 3104022 3112
build-model-states-explored 3107120 3098
build-model-states-explored 3110221 3101
build-model-states-explored 3113330 3109
build-model-states-explored 3116431 3101
build-model-states-explored 3119534 3103
build-model-states-explored 3122644 3110
build-model-states-explored 3125745 3101
build-model-states-explored 3128859 3114
build-model-states-explored 3131959 3100
build-model-states-explored 3135065 3106
build-model-states-explored 3138179 3114
build-model-states-explored 3141282 3103
build-model-states-explored 3144398 3116
build-model-states-explored 3147246 2848
build-model-states-explored 3150344 3098
build-model-states-explored 3153442 3098
build-model-states-explored 3156541 3099
build-model-states-explored 3159649 3108
build-model-states-explored 3162700 3051
build-model-states-explored 3165798 3098
build-model-states-explored 3168906 3108
build-model-states-explored 3172011 3105
build-model-states-explored 3175104 3093
build-model-states-explored 3178202 3098
build-model-states-explored 3181299 3097
build-model-states-explored 3184395 3096
build-model-states-explored 3187488 3093
build-model-states-explored 3190585 3097
build-model-states-explored 3193683 3098
build-model-states-explored 3196788 3105
build-model-states-explored 3199893 3105
build-model-states-explored 3202993 3100
build-model-states-explored 3206083 3090
build-model-states-explored 3209194 3111
build-model-states-explored 3212294 3100
build-model-states-explored 3215396 3102
build-model-states-explored 3218494 3098
build-model-states-explored 3221594 3100
build-model-states-explored 3224672 3078
build-model-states-explored 3227770 3098
build-model-states-explored 3230867 3097
build-model-states-explored 3233963 3096
build-model-states-explored 3237069 3106
build-model-states-explored 3240168 3099
build-model-states-explored 3243276 3108
build-model-states-explored 3246377 3101
build-model-states-explored 3249482 3105
build-model-states-explored 3252585 3103
build-model-states-explored 3255617 3032
build-model-states-explored 3258726 3109
build-model-states-explored 3261826 3100
build-model-states-explored 3264931 3105
build-model-states-explored 3268033 3102
build-model-states-explored 3271135 3102
build-model-states-explored 3274256 3121
build-model-states-explored 3277369 3113
build-model-states-explored 3280463 3094
build-model-states-explored 3283563 3100
build-model-states-explored 3286660 3097
build-model-states-explored 3289754 3094
build-model-states-explored 3292857 3103
build-model-states-explored 3295962 3105
build-model-states-explored 3299063 3101
build-model-states-explored 3302162 3099
build-model-states-explored 3305269 3107
build-model-states-explored 3308375 3106
build-model-states-explored 3311469 3094
build-model-states-explored 3314573 3104
build-model-states-explored 3317685 3112
build-model-states-explored 3320789 3104
build-model-states-explored 3323893 3104
build-model-states-explored 3326994 3101
build-model-states-explored 3330090 3096
build-model-states-explored 3333190 3100
build-model-states-explored 3336292 3102
build-model-states-explored 3339394 3102
build-model-states-explored 3342502 3108
build-model-states-explored 3345612 3110
build-model-states-explored 3348631 3019
build-model-states-explored 3351719 3088
build-model-states-explored 3354815 3096
build-model-states-explored 3357927 3112
build-model-states-explored 3361042 3115
build-model-states-explored 3364148 3106
build-model-states-explored 3367260 3112
build-model-states-explored 3370379 3119
build-model-states-explored 3373491 3112
build-model-states-explored 3376597 3106
build-model-states-explored 3379700 3103
build-model-states-explored 3382802 3102
build-model-states-explored 3385908 3106
build-model-states-explored 3389007 3099
build-model-states-explored 3392101 3094
build-model-states-explored 3395200 3099
build-model-states-explored 3398286 3086
build-model-states-explored 3401389 3103
build-model-states-explored 3404488 3099
build-model-states-explored 3407588 3100
build-model-states-explored 3410697 3109
build-model-states-explored 3413801 3104
build-model-states-explored 3416901 3100
build-model-states-explored 3419993 3092
build-model-states-explored 3423099 3106
build-model-states-explored 3426204 3105
build-model-states-explored 3429297 3093
build-model-states-explored 3432386 3089
build-model-states-explored 3435480 3094
build-model-states-explored 3438588 3108
build-model-states-explored 3441643 3055
build-model-states-explored 3444741 3098
build-model-states-explored 3447841 3100
build-model-states-explored 3450947 3106
build-model-states-explored 3454046 3099
build-model-states-explored 3457151 3105
build-model-states-explored 3460252 3101
build-model-states-explored 3463350 3098
build-model-states-explored 3466452 3102
build-model-states-explored 3469553 3101
build-model-states-explored 3472646 3093
build-model-states-explored 3475752 3106
build-model-states-explored 3478859 3107
build-model-states-explored 3481960 3101
build-model-states-explored 3485061 3101
build-model-states-explored 3488159 3098
build-model-states-explored 3491255 3096
build-model-states-explored 3494359 3104
build-model-states-explored 3497454 3095
build-model-states-explored 3500561 3107
build-model-states-explored 3503657 3096
build-model-states-explored 3506764 3107
build-model-states-explored 3509861 3097
build-model-states-explored 3512962 3101
build-model-states-explored 3516070 3108
build-model-states-explored 3519177 3107
build-model-states-explored 3522281 3104
build-model-states-explored 3525381 3100
build-model-states-explored 3528479 3098
build-model-states-explored 3531578 3099
build-model-states-explored 3534595 3017
build-model-states-explored 3537698 3103
build-model-states-explored 3540808 3110
build-model-states-explored 3543904 3096
build-model-states-explored 3547009 3105
build-model-states-explored 3550105 3096
build-model-states-explored 3553212 3107
build-model-states-explored 3556308 3096
build-model-states-explored 3559402 3094
build-model-states-explored 3562497 3095
build-model-states-explored 3565591 3094
build-model-states-explored 3568690 3099
build-model-states-explored 3571793 3103
build-model-states-explored 3574896 3103
build-model-states-explored 3578007 3111
build-model-states-explored 3581105 3098
build-model-states-explored 3584207 3102
build-model-states-explored 3587319 3112
build-model-states-explored 3590424 3105
build-model-states-explored 3593533 3109
build-model-states-explored 3596645 3112
build-model-states-explored 3599761 3116
build-model-states-explored 3602859 3098
build-model-states-explored 3605972 3113
build-model-states-explored 3609074 3102
build-model-states-explored 3612138 3064
build-model-states-explored 3615245 3107
build-model-states-explored 3618350 3105
build-model-states-explored 3621452 3102
build-model-states-explored 3624566 3114
build-model-states-explored 3627642 3076
build-model-states-explored 3630744 3102
build-model-states-explored 3633851 3107
build-model-states-explored 3636963 3112
build-model-states-explored 3640065 3102
build-model-states-explored 3643133 3068
build-model-states-explored 3646214 3081
build-model-states-explored 3649313 3099
build-model-states-explored 3652415 3102
build-model-states-explored 3655511 3096
build-model-states-explored 3658614 3103
build-model-states-explored 3661723 3109
build-model-states-explored 3664839 3116
build-model-states-explored 3667947 3108
build-model-states-explored 3671054 3107
build-model-states-explored 3674155 3101
build-model-states-explored 3677255 3100
build-model-states-explored 3680350 3095
build-model-states-explored 3683450 3100
build-model-states-explored 3686541 3091
build-model-states-explored 3689649 3108
build-model-states-explored 3692755 3106
build-model-states-explored 3695858 3103
build-model-states-explored 3698960 3102
build-model-states-explored 3702065 3105
build-model-states-explored 3705161 3096
build-model-states-explored 3708248 3087
build-model-states-explored 3711342 3094
build-model-states-explored 3714402 3060
build-model-states-explored 3717500 3098
build-model-states-explored 3720495 2995
build-model-states-explored 3723591 3096
build-model-states-explored 3726688 3097
build-model-states-explored 3729779 3091
build-model-states-explored 3732881 3102
build-model-states-explored 3735979 3098
build-model-states-explored 3739076 3097
build-model-states-explored 3742167 3091
build-model-states-explored 3745278 3111
build-model-states-explored 3748376 3098
build-model-states-explored 3751469 3093
build-model-states-explored 3754571 3102
build-model-states-explored 3757674 3103
build-model-states-explored 3760782 3108
build-model-states-explored 3763887 3105
build-model-states-explored 3766998 3111
build-model-states-explored 3770104 3106
build-model-states-explored 3773210 3106
build-model-states-explored 3776309 3099
build-model-states-explored 3779423 3114
build-model-states-explored 3782540 3117
build-model-states-explored 3785650 3110
build-model-states-explored 3788756 3106
build-model-states-explored 3791855 3099
build-model-states-explored 3794950 3095
build-model-states-explored 3798060 3110
build-model-states-explored 3801167 3107
build-model-states-explored 3804248 3081
build-model-states-explored 3807349 3101
build-model-states-explored 3810445 3096
build-model-states-explored 3813501 3056
build-model-states-explored 3816603 3102
build-model-states-explored 3819691 3088
build-model-states-explored 3822783 3092
build-model-states-explored 3825883 3100
build-model-states-explored 3828985 3102
build-model-states-explored 3832090 3105
build-model-states-explored 3835197 3107
build-model-states-explored 3838290 3093
build-model-states-explored 3841403 3113
build-model-states-explored 3844502 3099
build-model-states-explored 3847480 2978
build-model-states-explored 3850453 2973
build-model-states-explored 3853430 2977
build-model-states-explored 3856500 3070
build-model-states-explored 3859609 3109
build-model-states-explored 3862725 3116
build-model-states-explored 3865852 3127
build-model-states-explored 3868952 3100
build-model-states-explored 3872052 3100
build-model-states-explored 3875168 3116
build-model-states-explored 3878285 3117
build-model-states-explored 3881407 3122
build-model-states-explored 3884523 3116
build-model-states-explored 3887643 3120
build-model-states-explored 3890749 3106
build-model-states-explored 3893868 3119
build-model-states-explored 3896985 3117
build-model-states-explored 3900097 3112
build-model-states-explored 3903213 3116
build-model-states-explored 3906309 3096
build-model-states-explored 3909409 3100
build-model-states-explored 3912518 3109
build-model-states-explored 3915637 3119
build-model-states-explored 3918755 3118
build-model-states-explored 3921874 3119
build-model-states-explored 3924984 3110
build-model-states-explored 3928092 3108
build-model-states-explored 3931200 3108
build-model-states-explored 3934313 3113
build-model-states-explored 3937415 3102
build-model-states-explored 3940522 3107
build-model-states-explored 3943633 3111
build-model-states-explored 3946731 3098
build-model-states-explored 3949843 3112
build-model-states-explored 3952949 3106
build-model-states-explored 3956057 3108
build-model-states-explored 3959163 3106
build-model-states-explored 3962270 3107
build-model-states-explored 3965372 3102
build-model-states-explored 3968484 3112
build-model-states-explored 3971596 3112
build-model-states-explored 3974698 3102
build-model-states-explored 3977798 3100
build-model-states-explored 3980914 3116
build-model-states-explored 3984023 3109
build-model-states-explored 3987106 3083
build-model-states-explored 3990220 3114
build-model-states-explored 3993329 3109
build-model-states-explored 3996443 3114
build-model-states-explored 3999537 3094
build-model-states-explored 4002639 3102
build-model-states-explored 4005742 3103
build-model-states-explored 4008852 3110
build-model-states-explored 4011967 3115
build-model-states-explored 4015082 3115
build-model-states-explored 4018188 3106
build-model-states-explored 4021302 3114
build-model-states-explored 4024416 3114
build-model-states-explored 4027538 3122
build-model-states-explored 4030660 3122
build-model-states-explored 4033768 3108
build-model-states-explored 4036879 3111
build-model-states-explored 4040000 3121
build-model-states-explored 4043119 3119
build-model-states-explored 4046228 3109
build-model-states-explored 4049345 3117
build-model-states-explored 4052449 3104
build-model-states-explored 4055562 3113
build-model-states-explored 4058671 3109
build-model-states-explored 4061789 3118
build-model-states-explored 4064906 3117
build-model-states-explored 4068016 3110
build-model-states-explored 4071135 3119
build-model-states-explored 4074243 3108
build-model-states-explored 4077357 3114
build-model-states-explored 4080474 3117
build-model-states-explored 4083581 3107
build-model-states-explored 4086697 3116
build-model-states-explored 4089809 3112
build-model-states-explored 4092859 3050
build-model-states-explored 4095976 3117
build-model-states-explored 4099091 3115
build-model-states-explored 4102205 3114
build-model-states-explored 4105328 3123
build-model-states-explored 4108457 3129
build-model-states-explored 4111564 3107
build-model-states-explored 4114676 3112
build-model-states-explored 4117798 3122
build-model-states-explored 4120913 3115
build-model-states-explored 4124021 3108
build-model-states-explored 4127133 3112
build-model-states-explored 4130242 3109
build-model-states-explored 4133350 3108
build-model-states-explored 4136461 3111
build-model-states-explored 4139569 3108
build-model-states-explored 4142690 3121
build-model-states-explored 4145800 3110
build-model-states-explored 4148918 3118
build-model-states-explored 4152028 3110
build-model-states-explored 4155147 3119
build-model-states-explored 4158268 3121
build-model-states-explored 4161382 3114
build-model-states-explored 4164490 3108
build-model-states-explored 4167601 3111
build-model-states-explored 4170714 3113
build-model-states-explored 4173831 3117
build-model-states-explored 4176947 3116
build-model-states-explored 4180057 3110
build-model-states-explored 4183177 3120
build-model-states-explored 4186293 3116
build-model-states-explored 4189404 3111
build-model-states-explored 4192527 3123
build-model-states-explored 4194304 1777
build-model-states-explored 4195466 1162
build-model-states-explored 4198577 3111
build-model-states-explored 4201683 3106
build-model-states-explored 4204773 3090
build-model-states-explored 4207884 3111
build-model-states-explored 4210992 3108
build-model-states-explored 4214103 3111
build-model-states-explored 4217209 3106
build-model-states-explored 4220310 3101
build-model-states-explored 4223406 3096
build-model-states-explored 4226499 3093
build-model-states-explored 4229597 3098
build-model-states-explored 4232692 3095
build-model-states-explored 4235792 3100
build-model-states-explored 4238887 3095
build-model-states-explored 4241993 3106
build-model-states-explored 4245100 3107
build-model-states-explored 4248200 3100
build-model-states-explored 4251309 3109
build-model-states-explored 4254409 3100
build-model-states-explored 4257528 3119
build-model-states-explored 4260645 3117
build-model-states-explored 4263749 3104
build-model-states-explored 4266855 3106
build-model-states-explored 4269953 3098
build-model-states-explored 4273060 3107
build-model-states-explored 4276157 3097
build-model-states-explored 4279259 3102
build-model-states-explored 4282359 3100
build-model-states-explored 4285462 3103
build-model-states-explored 4288566 3104
build-model-states-explored 4291664 3098
build-model-states-explored 4294770 3106
build-model-states-explored 4297870 3100
build-model-states-explored 4300964 3094
build-model-states-explored 4304062 3098
build-model-states-explored 4307171 3109
build-model-states-explored 4310267 3096
build-model-states-explored 4313365 3098
build-model-states-explored 4316474 3109
build-model-states-explored 4319584 3110
build-model-states-explored 4322697 3113
build-model-states-explored 4325803 3106
build-model-states-explored 4328912 3109
build-model-states-explored 4332017 3105
build-model-states-explored 4335123 3106
build-model-states-explored 4338237 3114
build-model-states-explored 4341345 3108
build-model-states-explored 4344453 3108
build-model-states-explored 4347547 3094
build-model-states-explored 4350662 3115
build-model-states-explored 4353765 3103
build-model-states-explored 4356880 3115
build-model-states-explored 4359983 3103
build-model-states-explored 4363086 3103
build-model-states-explored 4366187 3101
build-model-states-explored 4369233 3046
build-model-states-explored 4372330 3097
build-model-states-explored 4375423 3093
build-model-states-explored 4378528 3105
build-model-states-explored 4381615 3087
build-model-states-explored 4384647 3032
build-model-states-explored 4387748 3101
build-model-states-explored 4390844 3096
build-model-states-explored 4393951 3107
build-model-states-explored 4397051 3100
build-model-states-explored 4400163 3112
build-model-states-explored 4403265 3102
build-model-states-explored 4406382 3117
build-model-states-explored 4409483 3101
build-model-states-explored 4412580 3097
build-model-states-explored 4415677 3097
build-model-states-explored 4418783 3106
build-model-states-explored 4421893 3110
build-model-states-explored 4424996 3103
build-model-states-explored 4428101 3105
build-model-states-explored 4431199 3098
build-model-states-explored 4434307 3108
build-model-states-explored 4437413 3106
build-model-states-explored 4440516 3103
build-model-states-explored 4443629 3113
build-model-states-explored 4446733 3104
build-model-states-explored 4449843 3110
build-model-states-explored 4452951 3108
build-model-states-explored 4456049 3098
build-model-states-explored 4459145 3096
build-model-states-explored 4462227 3082
build-model-states-explored 4465332 3105
build-model-states-explored 4468427 3095
build-model-states-explored 4471517 3090
build-model-states-explored 4474607 3090
build-model-states-explored 4477711 3104
build-model-states-explored 4480808 3097
build-model-states-explored 4483907 3099
build-model-states-explored 4487006 3099
build-model-states-explored 4490109 3103
build-model-states-explored 4493218 3109
build-model-states-explored 4496321 3103
build-model-states-explored 4499403 3082
build-model-states-explored 4502507 3104
build-model-states-explored 4505603 3096
build-model-states-explored 4508701 3098
build-model-states-explored 4511802 3101
build-model-states-explored 4514892 3090
build-model-states-explored 4517992 3100
build-model-states-explored 4521084 3092
build-model-states-explored 4524177 3093
build-model-states-explored 4527276 3099
build-model-states-explored 4530384 3108
build-model-states-explored 4533495 3111
build-model-states-explored 4536591 3096
build-model-states-explored 4539693 3102
build-model-states-explored 4542797 3104
build-model-states-explored 4545906 3109
build-model-states-explored 4549014 3108
build-model-states-explored 4552128 3114
build-model-states-explored 4555215 3087
build-model-states-explored 4558310 3095
build-model-states-explored 4561416 3106
build-model-states-explored 4564529 3113
build-model-states-explored 4567625 3096
build-model-states-explored 4570731 3106
build-model-states-explored 4573839 3108
build-model-states-explored 4576950 3111
build-model-states-explored 4580062 3112
build-model-states-explored 4583167 3105
build-model-states-explored 4586280 3113
build-model-states-explored 4589384 3104
build-model-states-explored 4592496 3112
build-model-states-explored 4595598 3102
build-model-states-explored 4598705 3107
build-model-states-explored 4601818 3113
build-model-states-explored 4604918 3100
build-model-states-explored 4608017 3099
build-model-states-explored 4611125 3108
build-model-states-explored 4614227 3102
build-model-states-explored 4617328 3101
build-model-states-explored 4620438 3110
build-model-states-explored 4623546 3108
build-model-states-explored 4626651 3105
build-model-states-explored 4629754 3103
build-model-states-explored 4632858 3104
build-model-states-explored 4635961 3103
build-model-states-explored 4639064 3103
build-model-states-explored 4642165 3101
build-model-states-explored 4645279 3114
build-model-states-explored 4648368 3089
build-model-states-explored 4651472 3104
build-model-states-explored 4654574 3102
build-model-states-explored 4657676 3102
build-model-states-explored 4660790 3114
build-model-states-explored 4663900 3110
build-model-states-explored 4667006 3106
build-model-states-explored 4670115 3109
build-model-states-explored 4673227 3112
build-model-states-explored 4676287 3060
build-model-states-explored 4679391 3104
build-model-states-explored 4682503 3112
build-model-states-explored 4685618 3115
build-model-states-explored 4688724 3106
build-model-states-explored 4691829 3105
build-model-states-explored 4694936 3107
build-model-states-explored 4698042 3106
build-model-states-explored 4701146 3104
build-model-states-explored 4704254 3108
build-model-states-explored 4707349 3095
build-model-states-explored 4710460 3111
build-model-states-explored 4713566 3106
build-model-states-explored 4716682 3116
build-model-states-explored 4719788 3106
build-model-states-explored 4722859 3071
build-model-states-explored 4725965 3106
build-model-states-explored 4729075 3110
build-model-states-explored 4732178 3103
build-model-states-explored 4735270 3092
build-model-states-explored 4738373 3103
build-model-states-explored 4741435 3062
build-model-states-explored 4744536 3101
build-model-states-explored 4747629 3093
build-model-states-explored 4750727 3098
build-model-states-explored 4753824 3097
build-model-states-explored 4756892 3068
build-model-states-explored 4759973 3081
build-model-states-explored 4763066 3093
build-model-states-explored 4766163 3097
build-model-states-explored 4769259 3096
build-model-states-explored 4772340 3081
build-model-states-explored 4775438 3098
build-model-states-explored 4778534 3096
build-model-states-explored 4781629 3095
build-model-states-explored 4784727 3098
build-model-states-explored 4787820 3093
build-model-states-explored 4790916 3096
build-model-states-explored 4794013 3097
build-model-states-explored 4797115 3102
build-model-states-explored 4800216 3101
build-model-states-explored 4803318 3102
build-model-states-explored 4806412 3094
build-model-states-explored 4809514 3102
build-model-states-explored 4812619 3105
build-model-states-explored 4815721 3102
build-model-states-explored 4818814 3093
build-model-states-explored 4821903 3089
build-model-states-explored 4825006 3103
build-model-states-explored 4828111 3105
build-model-states-explored 4831214 3103
build-model-states-explored 4834236 3022
build-model-states-explored 4837348 3112
build-model-states-explored 4840449 3101
build-model-states-explored 4843541 3092
build-model-states-explored 4846640 3099
build-model-states-explored 4849741 3101
build-model-states-explored 4852835 3094
build-model-states-explored 4855941 3106
build-model-states-explored 4859032 3091
build-model-states-explored 4862141 3109
build-model-states-explored 4865251 3110
build-model-states-explored 4868363 3112
build-model-states-explored 4871471 3108
build-model-states-explored 4874569 3098
build-model-states-explored 4876153 1584
build-model-states-explored 4878996 2843
build-model-states-explored 4881893 2897
build-model-states-explored 4884757 2864
build-model-states-explored 4887662 2905
build-model-states-explored 4890559 2897
build-model-states-explored 4893464 2905
build-model-states-explored 4896366 2902
build-model-states-explored 4899274 2908
build-model-states-explored 4902177 2903
build-model-states-explored 4905085 2908
build-model-states-explored 4907983 2898
build-model-states-explored 4910870 2887
build-model-states-explored 4913772 2902
build-model-states-explored 4916680 2908
build-model-states-explored 4919559 2879
build-model-states-explored 4922332 2773
build-model-states-explored 4925232 2900
build-model-states-explored 4928128 2896
build-model-states-explored 4931034 2906
build-model-states-explored 4933927 2893
build-model-states-explored 4936823 2896
build-model-states-explored 4939717 2894
build-model-states-explored 4942618 2901
build-model-states-explored 4945520 2902
build-model-states-explored 4948418 2898
build-model-states-explored 4951311 2893
build-model-states-explored 4954219 2908
build-model-states-explored 4957111 2892
build-model-states-explored 4960004 2893
build-model-states-explored 4962900 2896
build-model-states-explored 4965798 2898
build-model-states-explored 4968697 2899
build-model-states-explored 4971593 2896
build-model-states-explored 4974491 2898
build-model-states-explored 4977393 2902
build-model-states-explored 4980291 2898
build-model-states-explored 4983176 2885
build-model-states-explored 4986070 2894
build-model-states-explored 4988964 2894
build-model-states-explored 4991860 2896
build-model-states-explored 4994755 2895
build-model-states-explored 4997655 2900
build-model-states-explored 5000551 2896
build-model-states-explored 5003450 2899
build-model-states-explored 5006346 2896
build-model-states-explored 5009240 2894
build-model-states-explored 5012132 2892
build-model-states-explored 5015026 2894
build-model-states-explored 5017919 2893
build-model-states-explored 5020818 2899
build-model-states-explored 5023718 2900
build-model-states-explored 5026615 2897
build-model-states-explored 5029510 2895
build-model-states-explored 5032407 2897
build-model-states-explored 5035297 2890
build-model-states-explored 5038196 2899
build-model-states-explored 5041090 2894
build-model-states-explored 5043988 2898
build-model-states-explored 5046881 2893
build-model-states-explored 5049767 2886
build-model-states-explored 5052662 2895
build-model-states-explored 5055556 2894
build-model-states-explored 5058453 2897
build-model-states-explored 5061362 2909
build-model-states-explored 5064253 2891
build-model-states-explored 5067153 2900
build-model-states-explored 5070046 2893
build-model-states-explored 5072944 2898
build-model-states-explored 5075842 2898
build-model-states-explored 5078751 2909
build-model-states-explored 5081648 2897
build-model-states-explored 5084543 2895
build-model-states-explored 5087446 2903
build-model-states-explored 5090345 2899
build-model-states-explored 5093218 2873
build-model-states-explored 5096117 2899
build-model-states-explored 5099014 2897
build-model-states-explored 5101915 2901
build-model-states-explored 5104816 2901
build-model-states-explored 5107686 2870
build-model-states-explored 5110548 2862
build-model-states-explored 5113446 2898
build-model-states-explored 5116278 2832
build-model-states-explored 5119179 2901
build-model-states-explored 5122073 2894
build-model-states-explored 5124978 2905
build-model-states-explored 5127876 2898
build-model-states-explored 5130773 2897
build-model-states-explored 5133676 2903
build-model-states-explored 5136535 2859
build-model-states-explored 5139433 2898
build-model-states-explored 5142339 2906
build-model-states-explored 5145238 2899
build-model-states-explored 5148134 2896
build-model-states-explored 5151030 2896
build-model-states-explored 5153925 2895
build-model-states-explored 5156821 2896
build-model-states-explored 5159719 2898
build-model-states-explored 5162614 2895
build-model-states-explored 5165515 2901
build-model-states-explored 5168408 2893
build-model-states-explored 5171308 2900
build-model-states-explored 5174205 2897
build-model-states-explored 5177097 2892
build-model-states-explored 5179964 2867
build-model-states-explored 5182839 2875
build-model-states-explored 5185743 2904
build-model-states-explored 5188645 2902
build-model-states-explored 5191548 2903
build-model-states-explored 5194450 2902
build-model-states-explored 5197352 2902
build-model-states-explored 5200249 2897
build-model-states-explored 5203149 2900
build-model-states-explored 5206050 2901
build-model-states-explored 5208949 2899
build-model-states-explored 5211848 2899
build-model-states-explored 5214746 2898
build-model-states-explored 5217650 2904
build-model-states-explored 5220550 2900
build-model-states-explored 5223448 2898
build-model-states-explored 5226354 2906
build-model-states-explored 5229253 2899
build-model-states-explored 5232149 2896
build-model-states-explored 5235056 2907
build-model-states-explored 5237961 2905
build-model-states-explored 5240869 2908
build-model-states-explored 5242880 2011
build-model-states-explored 5245465 2585
build-model-states-explored 5248349 2884
build-model-states-explored 5251245 2896
build-model-states-explored 5254141 2896
build-model-states-explored 5257037 2896
build-model-states-explored 5259926 2889
build-model-states-explored 5262816 2890
build-model-states-explored 5265688 2872
build-model-states-explored 5268545 2857
build-model-states-explored 5271440 2895
build-model-states-explored 5274337 2897
build-model-states-explored 5277234 2897
build-model-states-explored 5280120 2886
build-model-states-explored 5283014 2894
build-model-states-explored 5285913 2899
build-model-states-explored 5288812 2899
build-model-states-explored 5291712 2900
build-model-states-explored 5294619 2907
build-model-states-explored 5297522 2903
build-model-states-explored 5300427 2905
build-model-states-explored 5303325 2898
build-model-states-explored 5306215 2890
build-model-states-explored 5309119 2904
build-model-states-explored 5312015 2896
build-model-states-explored 5314912 2897
build-model-states-explored 5317810 2898
build-model-states-explored 5320714 2904
build-model-states-explored 5323616 2902
build-model-states-explored 5326511 2895
build-model-states-explored 5329410 2899
build-model-states-explored 5332316 2906
build-model-states-explored 5335219 2903
build-model-states-explored 5338125 2906
build-model-states-explored 5341025 2900
build-model-states-explored 5343931 2906
build-model-states-explored 5346830 2899
build-model-states-explored 5349730 2900
build-model-states-explored 5352627 2897
build-model-states-explored 5355527 2900
build-model-states-explored 5358427 2900
build-model-states-explored 5361331 2904
build-model-states-explored 5364228 2897
build-model-states-explored 5367109 2881
build-model-states-explored 5370002 2893
build-model-states-explored 5372909 2907
build-model-states-explored 5375808 2899
build-model-states-explored 5378702 2894
build-model-states-explored 5381601 2899
build-model-states-explored 5384498 2897
build-model-states-explored 5387398 2900
build-model-states-explored 5390297 2899
build-model-states-explored 5393196 2899
build-model-states-explored 5396094 2898
build-model-states-explored 5398981 2887
build-model-states-explored 5401882 2901
build-model-states-explored 5404779 2897
build-model-states-explored 5407681 2902
build-model-states-explored 5410577 2896
build-model-states-explored 5413477 2900
build-model-states-explored 5416379 2902
build-model-states-explored 5419281 2902
build-model-states-explored 5422187 2906
build-model-states-explored 5425086 2899
build-model-states-explored 5427992 2906
build-model-states-explored 5430890 2898
build-model-states-explored 5433793 2903
build-model-states-explored 5436688 2895
build-model-states-explored 5439568 2880
build-model-states-explored 5442349 2781
build-model-states-explored 5445245 2896
build-model-states-explored 5448148 2903
build-model-states-explored 5451049 2901
build-model-states-explored 5453951 2902
build-model-states-explored 5456811 2860
build-model-states-explored 5459708 2897
build-model-states-explored 5462621 2913
build-model-states-explored 5465520 2899
build-model-states-explored 5468424 2904
build-model-states-explored 5471330 2906
build-model-states-explored 5474230 2900
build-model-states-explored 5477136 2906
build-model-states-explored 5480037 2901
build-model-states-explored 5482939 2902
build-model-states-explored 5485846 2907
build-model-states-explored 5488746 2900
build-model-states-explored 5491643 2897
build-model-states-explored 5494544 2901
build-model-states-explored 5497395 2851
build-model-states-explored 5500187 2792
build-model-states-explored 5503081 2894
build-model-states-explored 5505981 2900
build-model-states-explored 5508876 2895
build-model-states-explored 5511770 2894
build-model-states-explored 5514663 2893
build-model-states-explored 5517559 2896
build-model-states-explored 5520450 2891
build-model-states-explored 5523343 2893
build-model-states-explored 5526237 2894
build-model-states-explored 5529140 2903
build-model-states-explored 5532043 2903
build-model-states-explored 5534940 2897
build-model-states-explored 5537839 2899
build-model-states-explored 5540732 2893
build-model-states-explored 5543628 2896
build-model-states-explored 5546523 2895
build-model-states-explored 5549427 2904
build-model-states-explored 5552325 2898
----------
Computation aborted after 1800.0657534599304 seconds since the total time limit of 1800 seconds was exceeded.